Keroglou, Christoforos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Verification of detectability in Probabilistic Finite Automata

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Journal:

Year:

2017

Language:

english

File:

PDF, 679 KB

english, 2017

2

Detectability in Stochastic Discrete Event Systems

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 494 KB

english, 2014

3

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Probabilistic system opacity in discrete event systems

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Year:

2016

Language:

english

File:

PDF, 384 KB

english, 2016

4

Probabilistic system opacity in discrete event systems

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 973 KB

english, 2017

5

An Approach for Preoperative Planning and Performance of MR-guided Interventions Demonstrated With a Manual Manipulator in a 1.5T MRI Scanner

Ioannis Seimenis, Nikolaos V. Tsekos, Christoforos Keroglou, Eleni Eracleous, Constantinos Pitris, Eftychios G. Christoforou

Journal:

CardioVascular and Interventional Radiology

Year:

2012

Language:

english

File:

PDF, 405 KB

english, 2012

6

A manually-actuated MRI compatible robotic manipulator for image-guided interventions

Christoforou, Eftychios G., Keroglou, Christoforos, Webb, Andrew, Tsekos, Nikolaos V., Seimenis, Ioannis

Journal:

Year:

2014

Language:

english

File:

PDF, 60 KB

english, 2014

7

[IEEE EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob 2010) - Tokyo, Japan (2010.09.26-2010.09.29)] 2010 3rd IEEE RAS & EMBS International Conference on Biomedical Robotics and Biomechatronics - Consideration of geometric constraints regarding MR-compatible interventional robotic devices

Keroglou, Christoforos, Seimenis, Ioannis, Tsekos, Nikolaos V., Pitris, Constantinos, Eracleous, Eleni, Christoforou, Eftychios G.

Year:

2010

Language:

english

File:

PDF, 230 KB

english, 2010

8

[IEEE Automation (MED 2011) - Corfu, Greece (2011.06.20-2011.06.23)] 2011 19th Mediterranean Conference on Control & Automation (MED) - Bound on the probability of HMM misclassification

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

9

[IEEE 2010 10th IEEE International Conference on Information Technology and Applications in Biomedicine (ITAB 2010) - Corfu, Greece (2010.11.3-2010.11.5)] Proceedings of the 10th IEEE International Conference on Information Technology and Applications in Biomedicine - An approach to MR-guided interventions with a manually-operated manipulator

Christoforou, Eftychios G., Keroglou, Christoforos, Tsekos, Nikolaos V., Andreou, Eleni, Pitris, Constantinos, Eracleous, Eleni, Seimenis, Ioannis

Year:

2010

Language:

english

File:

PDF, 653 KB

english, 2010

10

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Bounds on the probability of misclassification among hidden Markov models

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Year:

2011

Language:

english

File:

PDF, 370 KB

english, 2011

11

Detectability in stochastic discrete event systems

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Journal:

Systems & Control Letters

Year:

2015

Language:

english

File:

PDF, 473 KB

english, 2015

12

[IEEE 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Gothenburg, Sweden (2015.8.24-2015.8.28)] 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Year:

2015

Language:

english

File:

PDF, 1007 KB

english, 2015

13

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Distributed diagnosis using predetermined synchronization strategies

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Year:

2014

Language:

english

File:

PDF, 512 KB

english, 2014

14

Hidden Markov Model Classification based on Empirical Frequencies of Observed Symbols

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 389 KB

english, 2014

15

Revised Test for Stochastic Diagnosability of Discrete-Event Systems

Chen, Jun, Keroglou, Christoforos, Hadjicostis, Christoforos N., Kumar, Ratnesh

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2016

Language:

english

File:

PDF, 679 KB

english, 2016

16

Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Journal:

IEEE Transactions on Automatic Control

Year:

2018

Language:

english

File:

PDF, 514 KB

english, 2018

17

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Verification and synthesis of embedded insertion functions for opacity enforcement

Keroglou, Christoforos, Lafortune, Stephane

Year:

2017

Language:

english

File:

PDF, 666 KB

english, 2017

18

Insertion Functions with Memory for Opacity Enforcement

Keroglou, Christoforos, Ricker, Laurie, Lafortune, Stéphane

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 612 KB

english, 2018

19

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard

Keroglou, Christoforos, Hadjicostis, Christoforos N.

Year:

2019

File:

PDF, 3.46 MB

2019